Lettre à Adel Abdessemed

[Commentaire de la lettre à la rédaction de Max Goyffon « La pénurie de sérums antivenimeux »].

Nous avons lu avec beaucoup d’intérêt la lettre de Max Goyffon [2] qui expose le problème terrible de la pénurie d’antivenins dans le monde et des dizaines de milliers de morts évitables qu’elle entraine, indépendamment de l’arrêt annoncé du FAV-Afrique. Tout en abondant dans le sens du Pr Goyffon, nous aimerions ajouter quelques commentaires. Il est vrai que dans certains cas d’envenimations o...

Éditorial: Lettre ouverte, pieds mouillés, au Président

Adel Bouhoula and Florent Jacquemard Tree Automata ,

We present a new method for automatic implicit induction theorem proving, and its application for the verification of cryptographic protocols. The method is based on constrained tree grammars and handles non-confluent rewrite systems which are required in the context of the verification of security protocols because of the non-deterministic behavior of attackers. It also handles axioms between ...

Uncollected Short Stories: Lettre du Cimetière

Forensic Analysis of Smartphones: The Android Data Extractor Lite (ADEL)

Due to the ubiquitous use of smartphones, these devices become an increasingly important source of digital evidence in forensic investigations. Thus, the recovery of digital traces from smartphones often plays an essential role for the examination and clarification of the facts in a case. Although some tools already exist regarding the examination of smartphone data, there is still a strong dem...